gdk: Make gdk_device_list_physical_devices() private
authorCarlos Garnacho <carlosg@gnome.org>
Thu, 30 Jul 2020 15:15:14 +0000 (17:15 +0200)
committerCarlos Garnacho <carlosg@gnome.org>
Thu, 30 Jul 2020 16:30:13 +0000 (18:30 +0200)
Physical devices should probably be accounted internally in gdk/x11,
make this out of private API so at least the implementation details
don't leak.

docs/reference/gdk/gdk4-sections.txt
gdk/gdkdevice.h
gdk/gdkdeviceprivate.h

index a438ee000ca42fd5cf9d9cce56a7269c09415ba0..2727123fc5f3981865df78f0986ebfc31c5fc598 100644 (file)
@@ -352,7 +352,6 @@ gdk_device_get_name
 gdk_device_get_vendor_id
 gdk_device_get_product_id
 gdk_device_get_source
-gdk_device_list_physical_devices
 gdk_device_get_device_type
 gdk_device_get_display
 gdk_device_get_has_cursor
index 0cba90a4959f2e962e79b21d807125e7fadfcf66..1c7d390868fe4cf8c94ee345ade11904e7d8f681 100644 (file)
@@ -114,9 +114,6 @@ GdkSurface * gdk_device_get_surface_at_position (GdkDevice *device,
 GDK_AVAILABLE_IN_ALL
 GdkDisplay * gdk_device_get_display (GdkDevice      *device);
 
-GDK_AVAILABLE_IN_ALL
-GList *      gdk_device_list_physical_devices (GdkDevice     *device);
-
 GDK_AVAILABLE_IN_ALL
 GdkDeviceType gdk_device_get_device_type (GdkDevice *device);
 
index 04263b241657d93f4fbf20361e8b1ef322ccf6fa..1c802be7e40825d8488665797cb88fd6593114eb 100644 (file)
@@ -131,6 +131,8 @@ gboolean   _gdk_device_translate_axis         (GdkDevice *device,
 GdkTimeCoord ** _gdk_device_allocate_history  (GdkDevice *device,
                                                int        n_events);
 
+GList * gdk_device_list_physical_devices        (GdkDevice *device);
+
 void    _gdk_device_add_physical_device         (GdkDevice *device,
                                                  GdkDevice *physical);
 void    _gdk_device_remove_physical_device      (GdkDevice *device,